The Kalman-Yakubovich-Popov inequality for differential-algebraic systems: Existence of nonpositive solutions

The Kalman-Yakubovich-Popov lemma is a central result in systems and control theory which relates the positive semidefiniteness of a Popov function on the imaginary axis to the solvability of a linear matrix inequality. In this paper we prove sufficient conditions for the existence of a nonpositive solution to this inequality for differential-algebraic systems. Our conditions are given in terms of positivity of a modified Popov function in the right complex half-plane. Our results also apply to non-controllable systems. Consequences of our results are bounded real and positive real lemmas for differential-algebraic systems.